The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...
Lire la suiteThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
Lire la suiteReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suiteThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suiteThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lire la suiteThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lire la suiteThis volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...
Lire la suiteProgram Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
Lire la suiteResearchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...
Lire la suiteThe 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suiteThis book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...
Lire la suiteThis book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lire la suite